type token =
  | TokenInt of (int)
  | TokenProp of (string)
  | TokenT
  | TokenF
  | TokenNot
  | TokenAnd
  | TokenOr
  | TokenImp
  | TokenEq
  | TokenNeq
  | TokenNewLine
  | TokenEnd
  | TokenEof

val main :
  (Lexing.lexbuf  -> token) -> Lexing.lexbuf -> Syntax.gba
